Merge pull request #1473 from robertovargas-arm/misra
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 11 Jul 2018 12:15:52 +0000 (13:15 +0100)
committerGitHub <noreply@github.com>
Wed, 11 Jul 2018 12:15:52 +0000 (13:15 +0100)
commit6cbf17d11404319d79981b8566c15407cb86eefa
treefe8c8ebcafdc13e56ab67bde1d80d65ae7c9b8d5
parent9a93d8ccff0abe225bfabbed7970075640f90de4
parent311a1a8ee8674f8b1a3a4797bb5856fa9d28d522
Merge pull request #1473 from robertovargas-arm/misra

Misra